From: Jasper St. Pierre Date: Tue, 15 Apr 2014 21:54:30 +0000 (-0400) Subject: extension-prefs: Kill warning X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~2539 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=c7bc9f8925173ba84b1ad11a7d2a98683dac2c7e;p=gnome-shell.git extension-prefs: Kill warning We need to include shell-js.h --- diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c index e97df5df2..17883207a 100644 --- a/src/gnome-shell-extension-prefs.c +++ b/src/gnome-shell-extension-prefs.c @@ -6,6 +6,8 @@ #include #include +#include "shell-js.h" + int main (int argc, char *argv[]) {